A Hybrid Framework for Representing Uncertain Knowledge

نویسنده

  • Alessandro Saffiotti
چکیده

This paper addresses the problem of bridging the gap between the fields of Knowledge Renresentation OCR) and Uncertain Reasoning (UR). The prohosed solution consists of a framework for representing uncertain knowledge in which two components, one dealing with (categorical) knowledge and one dealing with uncertainty about this knowledge, are singled out. In this sense, the framework is “hybrid”. This framework is characterized in both modeltheoretic and proof-theoretic terms. State of belief is represented by “belief sets”, defined in terms of the “functional approach to knowledge representation” suggested by Levesque. Examples are given, using first order logic and (a minimal subset of) M-Krypton for the KR side, and a yes/no trivial case and Dempster-Shafer theory for the UR side.

منابع مشابه

Hybrid Logic and Uncertain Logic

Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...

متن کامل

Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets

As the semantic web grows in popularity and enters the mainstream of computer technology, RDF (Resource Description Framework) datasets are becoming larger and more complex. Advanced semantic web ontologies, especially in medicine and science, are developing. As more complex ontologies are developed, there is a growing need for efficient queries that handle inference. In areas such as research,...

متن کامل

A Novel Hybrid Modified Binary Particle Swarm Optimization Algorithm for the Uncertain p-Median Location Problem

Here, we investigate the classical p-median location problem on a network in which the vertex weights and the distances between vertices are uncertain. We propose a programming model for the uncertain p-median location problem with tail value at risk objective. Then, we show that it is NP-hard. Therefore, a novel hybrid modified binary particle swarm optimization algorithm is presented to obtai...

متن کامل

Representing Context-Sensitive Knowledge in a Network Formalism: A Preliminary Report

Automated decision making is often complicated by the complexity of tlle knowledge involved. Much of tllis complexity arises from tlle context­ sensitive variations of the underlying phenom­ ena. We propose a framework for representing descriptive, context-sensitive knowledge. Our approach attempts to integrate categorical and uncertain knowledge in a network formalism. This paper outlines the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990